منابع مشابه
LIFL , University of Lille , France and University of Oxford , UK
Acceleration in Linear Relation Analysis (extended version) ha l-0 07 87 21 2, v er si on 1 11 F eb 2 01 3 Gonnord & Schrammel Abstract Acceleration in LRA (extended version) Abstract Linear relation analysis is a classical abstract interpretation based on an over-approximation of reachable numerical states of a program by convex polyhedra. Since it works with a lattice of infinite height, it m...
متن کاملOxford Brookes University “ Lets ’ play war ! ”
This dissertation carries out an investigation into the Child Soldier topic. The study is based on a revision of the literature available on the chosen subject. It intends to establish if a broader understanding of the child’s behaviour and his personal motivations, as well as the socio-cultural factors that might condition his decision to join armed forces, can lead to more efficient action pl...
متن کاملThe Transport Footprint of Oxford Brookes University
This paper describes the work undertaken by the Transport Group of the Environmental Forum to quantify the ecological impact of the transport demands generated by the activities of Oxford Brookes University. Ecological Footprint Analysis was used to quantify the ecological impact in terms of the land area required for these transport activities to be sustainable. Data from a survey of the commu...
متن کاملRNAi at Oxford
The third annual RNAi conference, RNAi2008: Functions and Applications of Non-coding RNAs, held at St Anne’s College, Oxford, UK (13-14 March 2008), afforded the opportunity for participants from both academia and industry to convene and discuss recent work on the molecular mechanisms of RNA-based gene silencing as well as recent advances in harnessing RNAi for research and therapeutics. The co...
متن کاملRNAi2013: RNAi at Oxford
© Copyright The Author(s): First Published by Library Publishing Media. This is an open access article, published under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/ by-nc/2.5). This license permits non-commercial use, distribution and reproduction of the article, provided the original work is appropriately acknowledged with correct c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JALA: Journal of the Association for Laboratory Automation
سال: 1998
ISSN: 1535-5535
DOI: 10.1177/221106829800300615